debian/control: change priority extra to optional as per policy
authorRob Browning <rlb@defaultvalue.org>
Sun, 27 May 2018 15:43:07 +0000 (10:43 -0500)
committerRob Browning <rlb@defaultvalue.org>
Sun, 27 May 2018 15:55:50 +0000 (10:55 -0500)
commitf7c8bf0a15fe2f74a6113987d762f010ef522bfc
tree4652b8c734694b3e89a5755ce5fed7ca2008fdb3
parentcb22fd456a05b7ea7454dd2db618e0c9c3cda094
debian/control: change priority extra to optional as per policy
debian/control